;;
compose (dimap f id) pi = compose (dimap id f) pi
